In Domain Realizability, not all Functionals on C[–1, 1] are Continuous
نویسندگان
چکیده
منابع مشابه
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous
In this note we exhibit a continuity principle for real-valued functions on C[−1, 1] that is not validated by realizability over domains although it is validated by Kleene’s functional realizability corresponding to Weihrauch’s theory of type 2 effectivity. Mathematics Subject Classification: 03F50, 03F60, 18C50, 06B35.
متن کاملAll realizability is relative
We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this...
متن کاملThe extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Abstract. We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene’s second model K2. We prove that a formulation of the Riemann Permutation Theorem as well as the statement that all partially Cauchy sequences are Cauchy cannot be realized in this model, while the stateme...
متن کاملNOT ALL FREE ARRANGEMENTS ARE K ( n , 1 ) PAUL
We produce a one-parameter family of hyperplane arrangements that are counterexamples to the conjecture of Saito that the complexified complement of a free arrangement is K(n, 1 ). These arrangements are the restriction of a one-parameter family of arrangements that arose in the study of tilings of certain centrally symmetric octagons. This other family is discussed as well. I. Definitions and ...
متن کامل1 Not All Answers Are Equallygood : Estimating the Quality
With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a standard for rating information products with respect to their quality, and we show how to estimate the quality of answers issued by databases from the quality speciications that have been assigned to these databases. The annotat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2002
ISSN: 0942-5616,1521-3870
DOI: 10.1002/1521-3870(200210)48:1+<41::aid-malq41>3.0.co;2-v